Full Abstraction for a Shared-Variable Parallel Language
نویسندگان
چکیده
منابع مشابه
Full Abstraction for a Shared Variable Parallel Language
We give a new denotational semantics for a shared variable parallel programming language and prove full abstraction: the semantics gives identical meanings to commands if and only if they induce the same partial correctness behavior in all program contexts. The meaning of a command is a set of “transition traces”, which record the ways in which a command may interact with and be affected by its...
متن کاملFull Abstraction for a Simple Parallel Programming Language
In [Plol] a powerdomain was defined which was intended as a kind of analogue of the powerset construction, but for (certain kinds) of cpos. For example the powerdomain~(S±) of the flat cpo Si, formed from a set S, is the set {X ! S~I(X#~) and ((±cX) or X is finite)} with the Egli-Milner ordering : X ~ Y ~ (~x ~ X.~ y ~ Y. x C y) A (~y c Y.3 x e X. x ~ y). E-M This enabled nondeterminism to be m...
متن کاملFull Abstraction for Series-Parallel Pomsets
In this paper, we provide a behavioural characterization of the class of finite, seriesparallel pomsets by showing that this simple model based on partial orders is fullyabstract with respect to the behavioural equivalence obtained by applying Abramsky's testing scenario for bisimulation equivalence, [Ab87], in all refinement contexts, [AH89]. This casts the observability of series-parallel por...
متن کاملSymmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs
Predicate abstraction is a key enabling technology for applying finitestate model checkers to programs written in mainstream languages. It has been used very successfully for debugging sequential system-level C code. Although model checking was originally designed for analyzing concurrent systems, there is little evidence of fruitful applications of predicate abstraction to shared-variable conc...
متن کاملA Full-Fuzzy Rate Controller for Variable Bit Rate Video
In this paper, we propose a new full-fuzzy video ratecontrol algorithm (RCA) for variable bit rate (VBR) videoapplications. The proposed RCA provides high qualitycompressed video with a low degree computational complexity.By controlling the quantization parameter (QP) on a picturebasis, it produces VBR video bit streams. The proposed RCAhas been implemented on the JM H.264/AVC video codec andth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1996
ISSN: 0890-5401
DOI: 10.1006/inco.1996.0056